Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
101	TANGENTIAL DERIVATIVES PROVIDING A MEAN-VALUE FORMULA LAURENT MOONENS Abstract. We provide a simple example showing that the tangential derivative of a continuous function φ can vanish everywhere along a Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2014-02-09 15:33:57 Theoretical physics Spectral theory Mathematical logic Spectral theory of ordinary differential equations Linear temporal logic Mathematics Operator theory Mathematical analysis
102	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
103	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2015-05-24 00:13:48 Distribution Functional analysis Dirac delta function Euler equations Siméon Denis Poisson Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis
104	Tales of Shape and Radiance in Multi-view Stereo Stefano Soatto† Anthony J. Yezzi‡ Hailin Jin†∗ Add to Reading List Source URL: vision.ucla.edu Language: English - Date: 2007-09-06 19:43:30 Harmonic analysis Representation theory of finite groups Linear temporal logic Heat transfer Calculus of variations Radiance
105	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
106	Comparison Geometry MSRI Publications Volume 30, 1997 Collapsing with No Proper Extremal Subsets G. PERELMAN Add to Reading List Source URL: library.msri.org Language: English - Date: 1998-06-23 18:39:34 Differential topology Mathematics Differentiable manifold Fiber bundle Diffeomorphism Riemannian manifold Sheaf Differential geometry Linear temporal logic Topology Algebraic topology Abstract algebra
107	Theories of coalitional rationality∗ Attila Ambrus† Abstract This paper generalizes the concept of best response to coalitions of players and oﬀers epistemic definitions of coalitional rationalizability in normal f Add to Reading List Source URL: public.econ.duke.edu Language: English - Date: 2012-08-28 11:36:22 Science Cooperative game Sheaf Function Entailment Interpretation Nash equilibrium Solution concept Linear temporal logic Logic Game theory Mathematics
108	Verifying Temporal Heap Properties Specified via Evolution Logic? Eran Yahav1 , Thomas Reps2 , Mooly Sagiv1 , and Reinhard Wilhelm3 1 School of Comp. Sci., Tel-Aviv Univ., Tel-Aviv, Israel, {yahave,msagiv}@post.tau.ac.i Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:33:58 Philosophical logic Model theory First-order logic FO Linear temporal logic Modal logic Abstract interpretation Mereology Tiny Encryption Algorithm Logic Mathematical logic Predicate logic
109	Coordination Logi ? Bernd Finkbeiner1 and Sven S hewe2 1 Universitat des Saarlandes University of Liverpool Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2010-08-16 15:28:31 Logi Realizability Mathematics Logic Abstraction Linear temporal logic Temporal logic Free variables and bound variables
110	Supplemental Material : A Unified Framework for Multi-Target Tracking and Collective Activity Recognition Wongun Choi and Silvio Savarese Electrical and Computer Engineering, University of Michigan, Ann Arbor, USA {wgcho Add to Reading List Source URL: cvgl.stanford.edu Language: English - Date: 2014-04-08 01:52:59 Flow network Network flow Function Linear temporal logic Mathematics Operations research Functions and mappings

UPDATE